A. Pnueli (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 6.24 MB

0 / 0

english, 1998

2

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Springer Berlin Heidelberg

Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)

წელი:

1988

ენა:

english

ფაილი:

PDF, 7.00 MB

0 / 0

english, 1988

3

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 3.80 MB

0 / 0

english, 2000

4

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.38 MB

0 / 0

english, 2002

5

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.95 MB

0 / 0

english, 2010

6

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

7

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Oded Maler (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 3.80 MB

0 / 0

english, 1997

8

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

წელი:

1992

ენა:

english

ფაილი:

DJVU, 4.30 MB

0 / 0

english, 1992

9

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 6.46 MB

0 / 0

english, 1995

10

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 6.95 MB

0 / 0

english, 2010

11

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 8.44 MB

0 / 5.0

english, 2010

12

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

წელი:

1992

ენა:

english

ფაილი:

PDF, 7.06 MB

0 / 0

english, 1992

13

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 9.00 MB

0 / 0

english, 2003

14

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), B. Banieqbal, H. Barringer, A. Pnueli (eds.)

წელი:

1989

ენა:

english

ფაილი:

DJVU, 4.48 MB

0 / 0

english, 1989

15

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.79 MB

0 / 0

english, 2005

16

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings

Springer Berlin Heidelberg

Rainer A. Rueppel (auth.), D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth, Christoph G. Günther (eds.)

წელი:

1988

ენა:

english

ფაილი:

DJVU, 3.25 MB

0 / 0

english, 1988

17

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 3.82 MB

0 / 0

english, 1998

18

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.68 MB

0 / 0

english, 2005

19

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

წელი:

1979

ენა:

english

ფაილი:

PDF, 8.00 MB

0 / 0

english, 1979

20

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Gilles Kahn (eds.)

წელი:

1979

ენა:

english

ფაილი:

DJVU, 3.42 MB

0 / 0

english, 1979

21

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 8.34 MB

0 / 0

english, 2000

22

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Springer-Verlag Berlin Heidelberg

Willem-Paul de Roever (auth.), Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 7.56 MB

0 / 0

english, 1998